Teaching programming languages
kmjn.org·9h
🪄Prompt Engineering
Typeclassopedia
wiki.haskell.org·18h·
Discuss: Hacker News
🧩Types
A Review of Developmental Interpretability in Large Language Models
arxiv.org·17h
🔍AI Interpretability
Two Dogmas of Empiricism
en.wikipedia.org·8h·
Discuss: Hacker News
🧩Types
The Lobster Programming Language
strlen.com·1h·
Discuss: Hacker News
🦀Rust Compiler Internals
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·10h
🤝Distributed Consensus
Meditations on Margarine
lesswrong.com·4h
🧠LLM Inference
Anonymous structavaganza in zig
lirk.top·4h·
Discuss: Hacker News, r/Zig
🦀Rust Compiler Internals
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·17h
🏆LLM Benchmarking
Nullable vs. Nullable in C#
einarwh.no·3h·
Discuss: Lobsters, Hacker News
💾Binary Formats
Cactus Lets You Build LLM Powered Applications On Your Mobile Phone
i-programmer.info·3h·
Discuss: r/programming
🤖AI
Capture Checking in Scala
nrinaudo.github.io·16h·
Discuss: Hacker News
🦀Rust Compiler Internals
Build a baby Claude Code using Python
siddharthbharath.com·7h·
Discuss: Hacker News
👨‍💻AI Coding
Notes on Autograd
aschrein.github.io·2h·
Discuss: Hacker News
🧮Compute Optimization
Stable, Mutable References for Ante
antelang.org·8h·
Discuss: Hacker News, r/programming
🦀Rust Compiler Internals
Can large language models figure out the real world?
news.mit.edu·1h
🔍AI Interpretability
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·14h·
Discuss: Hacker News
🛡️AI Safety
ALAS: Autonomous Learning Agent for Self-Updating Language Models
arxiv.org·17h
🏆LLM Benchmarking
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·23h·
Discuss: Hacker News
🪄Prompt Engineering
Looking for Final Year Project (FYP) Ideas – Web Dev, AI, or Automation Tools
reddit.com·10h·
Discuss: r/SoftwareEngineering
🪄Prompt Engineering